Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
581	Corporate and Product Overview Real Intent is the leading provider of EDA software to accelerate Early Functional Verification and Advanced Sign-off of digital designs. It provides comprehensive clock-domain crossing ve Add to Reading List Source URL: realintent.com Language: English - Date: 2014-09-10 13:14:55 Electronic design Hardware verification languages Logic design Logic simulation Functional verification Design closure E Formal verification Application-specific integrated circuit Electronic engineering Digital electronics Electronic design automation
582	Lisp in Summer Projects Submission Submission Date:47:17 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Lisp programming language Functional languages Cross-platform software Common Lisp Scripting languages Lisp JavaScript Subroutine Parameter Software engineering Computer programming Computing
583	Functional-first Programming in an Information-Rich World Dr Kenji Takeda Microsoft Research Connections Functional-first Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-27 06:45:31 Cross-platform software Functional languages Programming paradigms Functional programming C Mathematica Subroutine Computing Computer programming Software engineering
584	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
585	MBrace: Cloud Computing with Monads Jan Dzik Nick Palladinos Konstantinos Rontogiannis Add to Reading List Source URL: www.m-brace.net Language: English - Date: 2015-06-02 05:14:15 Adjoint functors Workflow technology Cloud infrastructure Functional languages Apache Hadoop MapReduce Monad Azure Services Platform Workflow Computing Cloud computing Software engineering
586	XML LONDON 2013 CONFERENCE PROCEEDINGS UNIVERSITY COLLEGE LONDON, LONDON, UNITED KINGDOM JUNE 15–16, 2013 Add to Reading List Source URL: xmllondon.com Language: English - Date: 2013-09-13 13:42:04 Technical communication Functional languages HTML Software architecture XForms XPath XML Model–view–controller XSLT Computing Web standards Markup languages
587	a conference on XML Lesser Town Campus Prague, Czech Republic 25th June 2005 nejvût‰í server Add to Reading List Source URL: archive.xmlprague.cz Language: English - Date: 2009-05-31 05:37:49 Markup languages Functional languages Computer file formats Open formats XML Schema Oxygen XML Editor XSLT XQuery XML Schema Language comparison Computing Web standards XML
588	PDF Document Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-02-21 06:52:37 Computing ALGOL 68 Functional languages Numerical linear algebra Biconjugate gradient stabilized method ATS Programming language theory Software engineering Procedural programming languages
589	LazyJ: Seamless Lazy Evaluation in Java Alessandro Warth Computer Science Department University of California, Los Angeles Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Evaluation strategy Type theory Functional languages Procedural programming languages Programming paradigms Lazy evaluation Futures and promises Strict programming language ML Software engineering Computing Computer programming
590	xmlsummerschool.com 13–18 September 2015 St Edmund Hall, Oxford The XML Summer School is a unique training event for everyone using, designing, or implementing solutions using XML-related Add to Reading List Source URL: xmlsummerschool.com Language: English - Date: 2015-05-14 17:22:05 Markup languages Functional languages Technical communication XSLT XQuery XPath Oxygen XML Editor XML Certification Program Computing Web standards XML

UPDATE